<!DOCTYPE html>
            
<HTML>
<HEAD>
<meta name="booktitle" content="Developing Applications With Objective Caml" >
 <meta charset="ISO-8859-1"><meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=0">
<META name="GENERATOR" content="hevea 1.05-7 of 2000-02-24">
<META NAME="Author" CONTENT="Christian.Queinnec@lip6.fr">
<LINK rel=stylesheet type="text/css" href="videoc-ocda.css">
<script language="JavaScript" src="videoc.js"><!--
//--></script>
<TITLE>
 Bibliography
</TITLE>
</HEAD>
<BODY class="regularBody">
<A HREF="book-ora213.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Contents"></A>
<HR>

<H2>Bibliography</H2><DL COMPACT=compact>
<DT><A NAME="JFLA96AC"><FONT COLOR=purple>[AC96]</FONT></A><DD>
Mar�a-Virginia Aponte and Giuseppe Castagna.
Programmation modulaire avec surcharge et liaison tardive.
In <EM>Journ�es Francophones des Langages Applicatifs</EM>. INRIA,
 January 1996.<BR>
<BR>

<DT><A NAME="AHU"><FONT COLOR=purple>[AHU83]</FONT></A><DD>
Alfred Aho, John Hopcroft, and Jeffrey Ullman.
<EM>Data Structures and Algorithms</EM>.
Addison-Wesley, 1983.<BR>
<BR>

<DT><A NAME="Andrews"><FONT COLOR=purple>[And91]</FONT></A><DD>
G.&nbsp;Andrews.
<EM>Concurrent Programming : Principles and practices</EM>.
Benjamin Cumming, 1991.<BR>
<BR>

<DT><A NAME="Ari"><FONT COLOR=purple>[Ari90]</FONT></A><DD>
Ben Ari.
<EM>Principles of Concurrent and Distributed Programming</EM>.
Prentice Hall, second edition, 1990.<BR>
<BR>

<DT><A NAME="Abelson89"><FONT COLOR=purple>[ASS96]</FONT></A><DD>
Harold Abelson, Gerald&nbsp;Jay Sussman, and Julie Sussman.
<EM>Structure and Interpretation of Computer Programs</EM>.
MIT Press, second edition, 1996.<BR>
<BR>

<DT><A NAME="Dragon89"><FONT COLOR=purple>[ASU86]</FONT></A><DD>
Alfred&nbsp;V. Aho, Ravi Sethi, and Jeffrey&nbsp;D. Ullman.
<EM>Compilers: principles, techniques, and tools</EM>.
Addison-Wesley, 1986.<BR>
<BR>

<DT><A NAME="renpar10"><FONT COLOR=purple>[BLH00]</FONT></A><DD>
Olivier Ballereau, Fr�d�ric Loulergue, and Ga�tan Hains.
High level BSP programming: BSML and BSlambda.
In Stephen Gilmore, editor, <EM>Trends in Functional Programming,
 volume 2</EM>. Intellect, 2000.<BR>
<BR>

<DT><A NAME="ChaCou92"><FONT COLOR=purple>[CC92]</FONT></A><DD>
Emmanuel Chailloux and Guy Cousineau.
Programming images in ML.
In <EM>Proceedings of the ACM SIGPLAN Workshop on ML and its
 Applications</EM>, 1992.<BR>
<BR>

<DT><A NAME="cousineau-et-al:1987"><FONT COLOR=purple>[CCM87]</FONT></A><DD>
Guy Cousineau, Pierre-Louis Curien, and Michel Mauny.
The Categorical Abstract Machine.
<EM>Science of Computer Programming</EM>, 8:173--202, 1987.<BR>
<BR>

<DT><A NAME="Mevel"><FONT COLOR=purple>[CDM98]</FONT></A><DD>
R�my Card, �ric Dumas, and Franck M�vel.
<EM>The </EM><EM>Linux</EM><EM> Kernel Book</EM>.
Wiley, John &amp; Sons, 1998.<BR>
<BR>

<DT><A NAME="jfla96"><FONT COLOR=purple>[CKL96]</FONT></A><DD>
Emmanuel Chailloux, Laurent Kirsch, and St�phane Lucas.
Caml2sml, un outil d'aide � la traduction de Caml vers Sml.
In <EM>Journ�es Francophones des Langages Applicatifs</EM>. INRIA,
 January 1996.<BR>
<BR>

<DT><A NAME="asa99"><FONT COLOR=purple>[CL99]</FONT></A><DD>
Sylvain Conchon and Fabrice Le Fessant.
JoCaml: mobile agents for Objective-Caml.
In <EM>International Symposium on Agent Systems and Applications</EM>,
 1999.<BR>
<BR>

<DT><A NAME="Cousineau-Mauny"><FONT COLOR=purple>[CM98]</FONT></A><DD>
Guy Cousineau and Michel Mauny.
<EM>The functional approach to programming</EM>.
Cambridge University Press, 1998.<BR>
<BR>

<DT><A NAME="cp95"><FONT COLOR=purple>[CP95]</FONT></A><DD>
Paul Caspi and Marc Pouzet.
A functional extension to LUSTRE.
In <EM>8th International Symposium on Languages for Intensional
 Programming</EM>, Sydney, May 1995. World Scientific.<BR>
<BR>

<DT><A NAME="ChaSua94"><FONT COLOR=purple>[CS94]</FONT></A><DD>
Emmanuel Chailloux and Asc�nder Su�rez.
mlPicTeX, a picture environment for LaTeX.
In <EM>Proceedings of the ACM SIGPLAN Workshop on ML and its
 Applications</EM>, 1994.<BR>
<BR>

<DT><A NAME="ocamlp3"><FONT COLOR=purple>[DDLP98]</FONT></A><DD>
Marco Danelutto, Roberto Di Cosmo, Xavier Leroy, and Susanna Pelagatti.
Parallel functional programming with skeletons: the ocamlp3l
 experiment.
In <EM>ML Workshop</EM>. ACM SIGPLAN, 1998.<BR>
<BR>

<DT><A NAME="lmo98"><FONT COLOR=purple>[DEMN98]</FONT></A><DD>
Roland Ducournau, J�r�me Euzenat, G�rald Masini, and Amedeo Napoli, editors.
<EM>Langages et mod�les � objets: �tat et perspectives de la
 recherche</EM>.
INRIA, 1998.<BR>
<BR>

<DT><A NAME="Engel98"><FONT COLOR=purple>[Eng98]</FONT></A><DD>
Emmanuel Engel.
<EM>Extensions s�res et praticables du syst�me de types de ML en
 pr�sence d'un langage de modules et de traits imp�ratifs</EM>.
PhD thesis, Universit� Paris-Sud, Orsay, France, mai 1998.<BR>
<BR>

<DT><A NAME="FoiCha95"><FONT COLOR=purple>[FC95]</FONT></A><DD>
Christian Foisy and Emmanuel Chailloux.
Caml Flight: a Portable SPMD Extension of ML for Distributed Memory
 Multiprocessors.
In <EM>Conference on High Performance Functional Computing</EM>, April
 1995.<BR>
<BR>

<DT><A NAME="icfp98"><FONT COLOR=purple>[FF98]</FONT></A><DD>
Robert B. Findler and Matthew Flatt.
Modular Object-Oriented Programming with Units and Mixins.
In <EM>International Conference on Functional Programming</EM>. ACM,
 1998.<BR>
<BR>

<DT><A NAME="weisfuruse2000"><FONT COLOR=purple>[FW00]</FONT></A><DD>
Jun Furuse and Pierre Weis.
Entr�es/Sorties de valeurs en Caml.
In <EM>JFLA'2000 : Journ�es Francophones des Langages Applicatifs</EM>,
 Mont Saint-Michel, January 2000. INRIA.<BR>
<BR>

<DT><A NAME="DP"><FONT COLOR=purple>[GHJV95]</FONT></A><DD>
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
<EM>Design Patterns</EM>.
Addison-Wesley, 1995.<BR>
<BR>

<DT><A NAME="Pseudoknot-95"><FONT COLOR=purple>[HF</FONT><SUP><FONT COLOR=purple><FONT SIZE=2>+</FONT></FONT></SUP><FONT COLOR=purple>96]</FONT></A><DD>
Pieter Hartel, Marc Feeley, et&nbsp;al.
Benchmarking implementations of functional languages with
 ``Pseudoknot'', a float-intensive benchmark.
<EM>Journal of Functional Programming</EM>, 6(4), 1996.<BR>
<BR>

<DT><A NAME="Harbison89"><FONT COLOR=purple>[HS94]</FONT></A><DD>
Samuel P. Harbison and Guy L. Steele.
<EM>C: A reference manual</EM>.
Prentice-Hall, fourth edition, 1994.<BR>
<BR>

<DT><A NAME="IPv6"><FONT COLOR=purple>[Hui97]</FONT></A><DD>
Christian Huitema.
<EM>IPv6</EM><EM> -- The New Internet Protocol</EM>.
Prentice Hall, 1997.<BR>
<BR>

<DT><A NAME="GCJones"><FONT COLOR=purple>[Jon98]</FONT></A><DD>
Richard Jones.
<EM>Garbage Collection: Algorithms for Automatic Dynamic Memory
 Management</EM>.
John Wiley &amp; Sons, 1998.<BR>
<BR>

<DT><A NAME="Leroy-ZINC"><FONT COLOR=purple>[Ler90]</FONT></A><DD>
Xavier Leroy.
The ZINC experiment: an economical implementation of the ML
 language.
Technical report 117, INRIA, 1990.<BR>
<BR>

<DT><A NAME="Leroy92"><FONT COLOR=purple>[Ler92]</FONT></A><DD>
Xavier Leroy.
Programmation du syst�me Unix en Caml Light.
Technical report 147, INRIA, 1992.<BR>
<BR>

<DT><A NAME="lexyacc"><FONT COLOR=purple>[LMB92]</FONT></A><DD>
John R. Levine, Tony Mason, and Doug Brown.
<EM>Lex</EM><EM> </EM><EM>&amp;</EM><EM> </EM><EM>Yacc</EM>.
O'Reilly, second edition, 1992.<BR>
<BR>

<DT><A NAME="OCAML-ref"><FONT COLOR=purple>[LRVD99]</FONT></A><DD>
Xavier Leroy, Didier R�my, J�r�me Vouillon, and Damien Doligez.
The objective caml system release 2.04.
Technical report, INRIA, December 1999.<BR>
<BR>

<DT><A NAME="Parser92"><FONT COLOR=purple>[MdR92]</FONT></A><DD>
Michel Mauny and Daniel de&nbsp;Rauglaudre.
Parser in ML.
Research report 1659, INRIA, avril 1992.<BR>
<BR>

<DT><A NAME="LAO"><FONT COLOR=purple>[MNC</FONT><SUP><FONT COLOR=purple><FONT SIZE=2>+</FONT></FONT></SUP><FONT COLOR=purple>91]</FONT></A><DD>
G�rald Masini, Amedeo Napoli, Dominique Colnet, Daniel L�onard, and Karl
 Tombre.
<EM>Object-Oriented Languages</EM>.
Academic Press, New York, 1991.<BR>
<BR>

<DT><A NAME="SML91"><FONT COLOR=purple>[MT91]</FONT></A><DD>
Robin Milner and Mads Tofte.
<EM>Commentary on </EM><EM>Standard</EM><EM> </EM><EM>ML</EM>.
MIT Press, 1991.<BR>
<BR>

<DT><A NAME="SML90"><FONT COLOR=purple>[MTH97]</FONT></A><DD>
Robin Milner, Mads Tofte, and Robert Harper.
<EM>The Definition of </EM><EM>Standard</EM><EM> </EM><EM>ML</EM><EM> (revised)</EM>.
MIT Press, 1997.<BR>
<BR>

<DT><A NAME="Reppy-th"><FONT COLOR=purple>[Rep99]</FONT></A><DD>
John Reppy.
<EM>Concurrent Programming in ML</EM>.
Cambridge University Press, 1999.<BR>
<BR>

<DT><A NAME="Cexcept"><FONT COLOR=purple>[Rob89]</FONT></A><DD>
Eric S. Robert.
Implementing exceptions in C.
Technical Report SRC-40, Digital Equipment, 1989.<BR>
<BR>

<DT><A NAME="mmm"><FONT COLOR=purple>[Rou96]</FONT></A><DD>
Fran�ois Rouaix.
A Web navigator with applets in Caml.
In <EM>Proceedings of the 5th International </EM><EM>World</EM><EM> </EM><EM>Wide</EM><EM> </EM><EM>Web</EM><EM>
 Conference, in </EM><EM>Computer</EM><EM> </EM><EM>Networks</EM><EM> and </EM><EM>Telecommunications</EM><EM> </EM><EM>Networking</EM>,
 volume&nbsp;28, pages 1365--1371. Elsevier, May 1996.<BR>
<BR>

<DT><A NAME="Remy-Vouillon"><FONT COLOR=purple>[RV98]</FONT></A><DD>
Didier R�my and J�r�me Vouillon.
Objective ML: An effective object-oriented extension to ML.
<EM>Theory And Practice of Object Systems</EM>, 4(1):27--50, 1998.
A preliminary version appeared in the proceedings of the 24th ACM
 Conference on Principles of Programming Languages, 1997.<BR>
<BR>

<DT><A NAME="Sedgewick"><FONT COLOR=purple>[Sed88]</FONT></A><DD>
Robert Sedgewick.
<EM>Algorithms</EM>.
Addison-Wesley, second edition, 1988.<BR>
<BR>

<DT><A NAME="Stevens"><FONT COLOR=purple>[Ste92]</FONT></A><DD>
W.&nbsp;Richard Stevens.
<EM>Advanced Programming in the </EM><EM>UNIX</EM><EM> Environment</EM>.
Addison-Wesley, 1992.<BR>
<BR>

<DT><A NAME="Thompson"><FONT COLOR=purple>[Tho99]</FONT></A><DD>
Simon Thompson.
<EM>Haskell: The Craft of Functional Programming</EM>.
Addison Wesley, seconde edition, 1999.<BR>
<BR>

<DT><A NAME="MIRANDA"><FONT COLOR=purple>[Tur85]</FONT></A><DD>
David A. Turner.
Miranda: A non-strict functional language with polymorphic types.
In J.&nbsp;Jouannaud, editor, <EM>Proceedings International Conference
 on Functional Programming Languages and Computer Architecture</EM>, volume 201
 of <EM>Lecture Notes in Computer Science</EM>, pages 1--16, New York, NY,
 September 1985. Springer-Verlag.<BR>
<BR>

<DT><A NAME="Wilson92"><FONT COLOR=purple>[Wil92]</FONT></A><DD>
Paul.&nbsp;R. Wilson.
Uniprocessor garbage collection techniques.
In <EM>International Workshop on Memory Management</EM>, number 637 in
 LNCS, pages 1--42. Springer-Verlag, 1992.<BR>
<BR>

<DT><A NAME="Wright93"><FONT COLOR=purple>[Wri95]</FONT></A><DD>
Andrew K. Wright.
Simple imperative polymorphism.
<EM>Lisp and Symbolic Computation</EM>, 8(4):343--356, 1995.</DL>

<HR>
<A HREF="book-ora213.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Contents"></A>
</BODY>
</HTML>
